Modélisation d’un système par automate stochastique hybride pour l’évaluation de la fiabilité dynamique
Identifieur interne : 002F66 ( Main/Exploration ); précédent : 002F65; suivant : 002F67Modélisation d’un système par automate stochastique hybride pour l’évaluation de la fiabilité dynamique
Auteurs : Gabriel Antonio Pérez Casta Eda [France, Mexique] ; Jean-François Aubry [France] ; Nicolae Brinzei [France]Source :
- Journal Européen des Systèmes Automatisés [ 1269-6935 ] ; 2010.
Abstract
La notion de fiabilité dynamique peut être considérée comme l'étude de la fiabilité de systèmes dynamiques hybrides (SDH). Pour cette raison, nous avons défini et implémenté le concept d'automate stochastique hybride pour modéliser un SDH afin de prendre en compte les problèmes relatifs aux défaillances. L'automate stochastique hybride prend en compte les différents modes continus de fonctionnement du système et le passage de l'un à l'autre sur l'occurrence des événements déterministes et stochastiques. L'automate nous permet d'accéder aux grandeurs de la sûreté de fonctionnement par statistique sur un grand nombre de simulations (méthode de Monte Carlo). Après la définition formelle de l'automate stochastique hybride, nous présenterons un cas test permettant d'inclure la majorité des problèmes posés par l'évaluation de la sûreté de fonctionnement en contexte dynamique.
The notion of dynamic reliability can be considered as the study of the reliability of dynamic hybrid systems (DHS). For this reason, we defined and implemented the concept of Hybrid Stochastic Automaton for Modeling a DHS to take into account the problems related to failures. The hybrid stochastic automaton takes into account the different modes of continuous operation of the system and the transition from one to another on the occurrence of deterministic and stochastic events. The automaton allows us to access the quantities of dependability by statistics on a large number of simulations (Monte Carlo Method). After the formal definition of hybrid stochastic automaton, we present a test case to include most of the problems posed by the evaluation of dependability in dynamic context.
Url:
DOI: 10.3166/jesa.44.229-253
Affiliations:
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: 003B99
- to stream Istex, to step Curation: 003B55
- to stream Istex, to step Checkpoint: 000728
- to stream Main, to step Merge: 003023
- to stream Main, to step Curation: 002F66
Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="fr">Modélisation d’un système par automate stochastique hybride pour l’évaluation de la fiabilité dynamique</title><author><name sortKey="Antonio Perez Casta Eda, Gabriel" sort="Antonio Perez Casta Eda, Gabriel" uniqKey="Antonio Perez Casta Eda G" first="Gabriel" last="Antonio Pérez Casta Eda">Gabriel Antonio Pérez Casta Eda</name></author><author><name sortKey="Aubry, Jean Francois" sort="Aubry, Jean Francois" uniqKey="Aubry J" first="Jean-François" last="Aubry">Jean-François Aubry</name></author><author><name sortKey="Brinzei, Nicolae" sort="Brinzei, Nicolae" uniqKey="Brinzei N" first="Nicolae" last="Brinzei">Nicolae Brinzei</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:FA35269ACCB2058290FE8BC7AAE11F25583ABEDF</idno><date when="2010" year="2010">2010</date><idno type="doi">10.3166/jesa.44.229-253</idno><idno type="url">https://api.istex.fr/ark:/67375/HT0-TQ0J7D1V-S/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003B99</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003B99</idno><idno type="wicri:Area/Istex/Curation">003B55</idno><idno type="wicri:Area/Istex/Checkpoint">000728</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">000728</idno><idno type="wicri:doubleKey">1269-6935:2010:Antonio Perez Casta Eda G:modelisation:d:un</idno><idno type="wicri:Area/Main/Merge">003023</idno><idno type="wicri:Area/Main/Curation">002F66</idno><idno type="wicri:Area/Main/Exploration">002F66</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="fr">Modélisation d’un système par automate stochastique hybride pour l’évaluation de la fiabilité dynamique</title><author><name sortKey="Antonio Perez Casta Eda, Gabriel" sort="Antonio Perez Casta Eda, Gabriel" uniqKey="Antonio Perez Casta Eda G" first="Gabriel" last="Antonio Pérez Casta Eda">Gabriel Antonio Pérez Casta Eda</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>CRAN CNRS UMR 7039, Nancy - Université, INPL - ENSEM 2, avenue de la forêt de Haye, F-54516, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country xml:lang="fr" wicri:curation="lc">Mexique</country><wicri:regionArea>Instituto Tecnológico de Tehuacán, Libramiento Instituto Tecnológico s/n, 75770Tehuacán, Puebla</wicri:regionArea><wicri:noRegion>Puebla</wicri:noRegion></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Aubry, Jean Francois" sort="Aubry, Jean Francois" uniqKey="Aubry J" first="Jean-François" last="Aubry">Jean-François Aubry</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>CRAN CNRS UMR 7039, Nancy - Université, INPL - ENSEM 2, avenue de la forêt de Haye, F-54516, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Brinzei, Nicolae" sort="Brinzei, Nicolae" uniqKey="Brinzei N" first="Nicolae" last="Brinzei">Nicolae Brinzei</name><affiliation wicri:level="3"><country xml:lang="fr">France</country><wicri:regionArea>CRAN CNRS UMR 7039, Nancy - Université, INPL - ENSEM 2, avenue de la forêt de Haye, F-54516, Vandœuvre-lès-Nancy</wicri:regionArea><placeName><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region><settlement type="city">Vandœuvre-lès-Nancy</settlement></placeName></affiliation><affiliation wicri:level="1"><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="j" type="main">Journal Européen des Systèmes Automatisés</title><title level="j" type="abbrev">J. Eur. Sys. Auto.</title><idno type="ISSN">1269-6935</idno><idno type="eISSN">2116-7087</idno><imprint><publisher>Lavoisier</publisher><date type="published" when="2010-02">2010</date><biblScope unit="vol">44</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="229">229</biblScope><biblScope unit="page" to="253">253</biblScope><biblScope unit="page-count">26</biblScope><biblScope unit="ref-count">0</biblScope><biblScope unit="fig-count">0</biblScope><biblScope unit="table-count">0</biblScope></imprint><idno type="ISSN">1269-6935</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">1269-6935</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">La notion de fiabilité dynamique peut être considérée comme l'étude de la fiabilité de systèmes dynamiques hybrides (SDH). Pour cette raison, nous avons défini et implémenté le concept d'automate stochastique hybride pour modéliser un SDH afin de prendre en compte les problèmes relatifs aux défaillances. L'automate stochastique hybride prend en compte les différents modes continus de fonctionnement du système et le passage de l'un à l'autre sur l'occurrence des événements déterministes et stochastiques. L'automate nous permet d'accéder aux grandeurs de la sûreté de fonctionnement par statistique sur un grand nombre de simulations (méthode de Monte Carlo). Après la définition formelle de l'automate stochastique hybride, nous présenterons un cas test permettant d'inclure la majorité des problèmes posés par l'évaluation de la sûreté de fonctionnement en contexte dynamique.</div><div type="abstract" xml:lang="en">The notion of dynamic reliability can be considered as the study of the reliability of dynamic hybrid systems (DHS). For this reason, we defined and implemented the concept of Hybrid Stochastic Automaton for Modeling a DHS to take into account the problems related to failures. The hybrid stochastic automaton takes into account the different modes of continuous operation of the system and the transition from one to another on the occurrence of deterministic and stochastic events. The automaton allows us to access the quantities of dependability by statistics on a large number of simulations (Monte Carlo Method). After the formal definition of hybrid stochastic automaton, we present a test case to include most of the problems posed by the evaluation of dependability in dynamic context.</div></front></TEI><affiliations><list><country><li>France</li><li>Mexique</li></country><region><li>Grand Est</li><li>Lorraine (région)</li></region><settlement><li>Vandœuvre-lès-Nancy</li></settlement></list><tree><country name="France"><region name="Grand Est"><name sortKey="Antonio Perez Casta Eda, Gabriel" sort="Antonio Perez Casta Eda, Gabriel" uniqKey="Antonio Perez Casta Eda G" first="Gabriel" last="Antonio Pérez Casta Eda">Gabriel Antonio Pérez Casta Eda</name></region><name sortKey="Antonio Perez Casta Eda, Gabriel" sort="Antonio Perez Casta Eda, Gabriel" uniqKey="Antonio Perez Casta Eda G" first="Gabriel" last="Antonio Pérez Casta Eda">Gabriel Antonio Pérez Casta Eda</name><name sortKey="Aubry, Jean Francois" sort="Aubry, Jean Francois" uniqKey="Aubry J" first="Jean-François" last="Aubry">Jean-François Aubry</name><name sortKey="Aubry, Jean Francois" sort="Aubry, Jean Francois" uniqKey="Aubry J" first="Jean-François" last="Aubry">Jean-François Aubry</name><name sortKey="Brinzei, Nicolae" sort="Brinzei, Nicolae" uniqKey="Brinzei N" first="Nicolae" last="Brinzei">Nicolae Brinzei</name><name sortKey="Brinzei, Nicolae" sort="Brinzei, Nicolae" uniqKey="Brinzei N" first="Nicolae" last="Brinzei">Nicolae Brinzei</name></country><country name="Mexique"><noRegion><name sortKey="Antonio Perez Casta Eda, Gabriel" sort="Antonio Perez Casta Eda, Gabriel" uniqKey="Antonio Perez Casta Eda G" first="Gabriel" last="Antonio Pérez Casta Eda">Gabriel Antonio Pérez Casta Eda</name></noRegion></country></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002F66 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd -nk 002F66 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= RBID
|clé= ISTEX:FA35269ACCB2058290FE8BC7AAE11F25583ABEDF
|texte= Modélisation d’un système par automate stochastique hybride pour l’évaluation de la fiabilité dynamique
}}
| This area was generated with Dilib version V0.6.33. |  |